منابع مشابه
Encoding FIX in object calculi
We show that the FIX type theory introduced by Crole and Pitts 3] can be encoded in variants of Abadi and Cardelli's object calculi. More precisely, we show that the FIX type theory presented with judgements of both equality and operational reduction can be translated into object calculi, and the translation proved sound. In the case of operational reductions, we introduce a variant of Abadi an...
متن کاملObject calculi in linear logic
Several calculi of objects have been studied in the recent literature, that support the central features of object-based languages: messages, inheritance, dynamic dispatch, object update and object-extension. We show that a complete semantic account of these features may be given in a fragment of higher-order linear logic.
متن کاملHistory of Object Calculi
Records are used to model objects. A record is a function from labels to values. With record calculi, the set of messages that can be sent to objects is bounded by the set of its labels. Furthermore, records do not faithfully model objects. Two milestones in this phase are [3] and [8]. In [3], objects are modelled as read-only, recursive, fixed size records. Types are syntactic objects. A synta...
متن کاملObject Calculi with Dynamic Messages
Dynamic messages, as proposed in [Nis98], are first-class expressions that may occur as messages within programs: being first-class, they may dynamically be bound to program variables, and evaluated to “ordinary” messages during the computation. We present an extension of Abadi and Cardelli’s typed calculus FOb <: [AC96] and a type system that give provision for dynamic messages. The new type s...
متن کاملEncoding Distributed Process Calculi into LMNtal
Towards a unifying model of concurrency, we have designed and implemented LMNtal (pronounced “elemental”), a model and language based on hierarchical graph rewriting that uses logical variables to represent connectivity and membranes to represent hierarchy. Diverse computational models including the π-calculus and the λ-calculus have been encoded into LMNtal and tested on our LMNtal system. Thi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: RAIRO - Theoretical Informatics and Applications
سال: 2000
ISSN: 0988-3754,1290-385X
DOI: 10.1051/ita:2000104